perm filename AIM81.A[1,JRA]1 blob
sn#005874 filedate 1972-08-29 generic text, type T, neo UTF8
00100 ¬D(X1 C) ∨ ¬D(X1 B);
00110 D(X1 X2) ∨ ¬P(X1) ∨ ¬M(X2 C X3) ∨ ¬D(X1 B) ∨ ¬D(X1 X3);
00120 D(X1 X2) ∨ ¬P(X1) ∨ ¬M(X2 B X3) ∨ ¬D(X1 C) ∨ ¬D(X1 X3);
00130 D(X1 X2) ∨ ¬P(X1) ∨ ¬M(C X2 X3) ∨ ¬D(X1 B) ∨ ¬D(X1 X3);
00140 D(X1 X2) ∨ ¬P(X1) ∨ ¬M(B X2 X3) ∨ ¬D(X1 C) ∨ ¬D(X1 X3);
00200 M(X1 S(F(X1 X2)) S(X3)) ∨ ¬M(X1 S(X3) S(X2))∨ ¬D(X1 X2);
00400 D(X1 X3) ∨ ¬M(X1 X2 X3);
00500 M(X2 X1 X3) ∨ ¬M(X1 X2 X3);
00600 M(X1 X1 S(X1));
00700 ;
00800 M(A S(C) S(B));
00900 ;
01000 ¬P(A);
01100 ;